Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Checking the Expressivity of Firewall Languages
2019-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control
2018-01-01 Incerto, E.; Tribastone, M.; Trubiani, C.
Core Calculi for Service-Oriented Computing
2011-01-01 Caires, L; De Nicola, R; Pugliese, R; Vasconcelos, V T; Zavattaro, G
Deeper insights into neural nets with random weights
2022-01-01 Li, Ming; Gnecco, GIORGIO STEFANO; Sanguineti, Marcello
A distributed coordination infrastructure for attribute-based interaction
2018-01-01 Alrahman, Yehia Abd; De Nicola, Rocco; Garbi, Giulio; Loreti, Michele
Do you really follow them? Automatic detection of credulous twitter users
2019-01-01 Balestrucci, A.; De Nicola, R.; Petrocchi, M.; Trubiani, C.
DReAM: Dynamic Reconfigurable Architecture Modeling
2018-01-01 DE NICOLA, Rocco; Maggi, Alessandro; Joseph, Sifakis
Evaluation of WiFi for kart racing monitoring
2014-01-01 Viittala, H.; Hamalainen, M.; Iinatti, J.; Soderi, S.
Experimenting with a Context-Aware Language
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Exploring real mobility data with M-atlas
2010-01-01 Trasarti, R.; Rinzivillo, S.; Pinelli, F.; Nanni, M.; Monreale, A.; Renso, C.; Pedreschi, D.; Giannotti, F.
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks
2019-01-01 Pérez Verona, Isabel Cristina; Tribastone, M.; Tschaikowski, M.
Foreword
2022-01-01 De Nicola, R.
Foreword
2022-01-01 De Nicola, R.
Foreword
2022-01-01 De Nicola, R.
Foreword to applied data science, demo, and nectar tracks
2019-01-01 Brefeld, U.; Curry, E.; Daly, E.; Macnamee, B.; Marascu, A.; Pinelli, F.
A formal approach to the engineering of domain-specific distributed systems
2018-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
From Natural Projection to Partial Model Checking and Back
2018-01-01 Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L
GoAt: Attribute-Based Interaction in Google Go
2018-01-01 Abd Alrahman, Yehia; DE NICOLA, Rocco; Garbi, Giulio
Guaranteed error bounds on approximate model abstractions through reachability analysis
2018-01-01 Cardelli, L.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Inferring unusual crowd events from mobile phone call detail records
2015-01-01 Dong, Y.; Pinelli, F.; Gkoufas, Y.; Nabi, Z.; Calabrese, F.; Chawla, N. V.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Checking the Expressivity of Firewall Languages | 1-gen-2019 | Ceragioli, L.; Degano, P.; Galletta, L. | |
| Combined Vertical and Horizontal Autoscaling Through Model Predictive Control | 1-gen-2018 | Incerto, E.; Tribastone, M.; Trubiani, C. | |
| Core Calculi for Service-Oriented Computing | 1-gen-2011 | Caires, L; De Nicola, R; Pugliese, R; Vasconcelos, V T; Zavattaro, G | |
| Deeper insights into neural nets with random weights | 1-gen-2022 | Li, Ming; Gnecco, GIORGIO STEFANO; Sanguineti, Marcello | |
| A distributed coordination infrastructure for attribute-based interaction | 1-gen-2018 | Alrahman, Yehia Abd; De Nicola, Rocco; Garbi, Giulio; Loreti, Michele | |
| Do you really follow them? Automatic detection of credulous twitter users | 1-gen-2019 | Balestrucci, A.; De Nicola, R.; Petrocchi, M.; Trubiani, C. | |
| DReAM: Dynamic Reconfigurable Architecture Modeling | 1-gen-2018 | DE NICOLA, Rocco; Maggi, Alessandro; Joseph, Sifakis | |
| Evaluation of WiFi for kart racing monitoring | 1-gen-2014 | Viittala, H.; Hamalainen, M.; Iinatti, J.; Soderi, S. | |
| Experimenting with a Context-Aware Language | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio | |
| Exploring real mobility data with M-atlas | 1-gen-2010 | Trasarti, R.; Rinzivillo, S.; Pinelli, F.; Nanni, M.; Monreale, A.; Renso, C.; Pedreschi, D.; Giannotti, F. | |
| Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks | 1-gen-2019 | Pérez Verona, Isabel Cristina; Tribastone, M.; Tschaikowski, M. | |
| Foreword | 1-gen-2022 | De Nicola, R. | |
| Foreword | 1-gen-2022 | De Nicola, R. | |
| Foreword | 1-gen-2022 | De Nicola, R. | |
| Foreword to applied data science, demo, and nectar tracks | 1-gen-2019 | Brefeld, U.; Curry, E.; Daly, E.; Macnamee, B.; Marascu, A.; Pinelli, F. | |
| A formal approach to the engineering of domain-specific distributed systems | 1-gen-2018 | De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco | |
| From Natural Projection to Partial Model Checking and Back | 1-gen-2018 | Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L | |
| GoAt: Attribute-Based Interaction in Google Go | 1-gen-2018 | Abd Alrahman, Yehia; DE NICOLA, Rocco; Garbi, Giulio | |
| Guaranteed error bounds on approximate model abstractions through reachability analysis | 1-gen-2018 | Cardelli, L.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
| Inferring unusual crowd events from mobile phone call detail records | 1-gen-2015 | Dong, Y.; Pinelli, F.; Gkoufas, Y.; Nabi, Z.; Calabrese, F.; Chawla, N. V. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile